// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
__declspec(align(4096))
static
LZ77_INDEX
ZobristTable[256][4] =
{
    {0xc70bb2b9, 0xc51e5ca8, 0x60732b88, 0x27b38f05},
    {0x917a1457, 0xd0701bbf, 0x1387bf6f, 0xef551f6f},
    {0x65527055, 0x946a3e35, 0x2b63aea8, 0xc7bb6fe8},
    {0x180008f6, 0x2b1cfdd2, 0x8a625d0b, 0x171a6566},
    {0xd155e650, 0x240904ea, 0xbdee9955, 0xd24e24ef},
    {0x45197841, 0xe930f909, 0xdde1900a, 0x6b7b20f6},
    {0xb05be6d2, 0x98cf78ed, 0xf84d7f43, 0xf05e909e},
    {0xb0f3a32b, 0x98030d5c, 0x4798eecd, 0xedc481b6},
    {0x3fb6c5fe, 0xf7f4858b, 0x923714f5, 0x5cd688a2},
    {0x35878d94, 0x950ca9c4, 0x3a8a5842, 0x0c42e985},
    {0x43bc5290, 0x60041996, 0xce44e990, 0x30f8dbf0},
    {0x59b6bfaf, 0xfd8d9d54, 0xbd64bf5a, 0xb8ff1d40},
    {0x87715165, 0x0d49dff9, 0x8c7386a4, 0x0f18bed4},
    {0x4c6d299b, 0xe8f11b3e, 0xbb6773cc, 0xdfd3bad4},
    {0x99699f23, 0x884e119b, 0xac1da18f, 0xf65a7389},
    {0x19e5d6f3, 0x20308652, 0x302489e3, 0x1ac619e3},
    {0xb55df3e6, 0x151cb8b6, 0xc71bbed7, 0x07644ca3},
    {0x0ab9483b, 0x304e8e04, 0x4030c9b4, 0x749fb9f1},
    {0xf83ebc38, 0x8184adda, 0x32b7e44f, 0x38bea9ba},
    {0x2dd8b707, 0x4269f148, 0xfdefa5a2, 0xca35d327},
    {0x0b841b36, 0xcdffd4ee, 0x9c147f30, 0x774d6800},
    {0x8a9d5107, 0x17702645, 0x5f00471a, 0xdb242f39},
    {0x60628538, 0xaffbe593, 0x30209691, 0x1e9c6d68},
    {0x668b3498, 0x89ad29af, 0x7bae4a10, 0x7870b519},
    {0xa19adbf0, 0xc6bc1c20, 0x06a79a3a, 0x2b243cf1},
    {0x862ead63, 0xf92692ae, 0x0f09aa7b, 0x67bf6940},
    {0xa8811a45, 0x45b32f8a, 0x37f487a3, 0x559a6b28},
    {0x1f3977fc, 0x04be35ea, 0x30642c41, 0xdfe45003},
    {0x7a0c8548, 0x07e0113c, 0x0e305350, 0x7bf040c3},
    {0xbb1eec9b, 0x470f5c42, 0x426add08, 0xa57e0127},
    {0x03b96e75, 0x843b363f, 0x0814fddf, 0xa0505fe0},
    {0x4b1fbeed, 0xd7780bb8, 0xd3cb0e68, 0x559c7b14},
    {0x966dce5b, 0x40bbf960, 0x8c03709f, 0x7c5bc3dc},
    {0xa181a900, 0x1d497278, 0x0471559c, 0x5882383b},
    {0x83777894, 0xa830b0ad, 0x3796577f, 0xf2917c64},
    {0x2fd30925, 0xd2f6e70a, 0x0318f24a, 0x79a74737},
    {0x0c461c38, 0x356184d2, 0xef654e94, 0x89495334},
    {0xc6ad88a2, 0xf756da9d, 0x98aa263c, 0x2537f2ab},
    {0x7f5c830f, 0x61b8d6d7, 0xfd693241, 0x17391e7c},
    {0x0359e11a, 0x37b63b90, 0xb5bbc191, 0xa9b5e2da},
    {0x136a5c7d, 0x36e0e1bc, 0xcf66e821, 0x03de574a},
    {0x824af34e, 0xe4f96599, 0x0fabc908, 0x70423bdd},
    {0xe6bb7674, 0xec0e5476, 0xbead1cad, 0x2b8bbf93},
    {0x0aa05a44, 0x6e6a0c24, 0x50977921, 0x08760390},
    {0xa116f356, 0xb1de0166, 0x7a2488c7, 0xb859ab9e},
    {0x3dc85601, 0x217d36c1, 0xfc4968d6, 0x5450821c},
    {0x0c53cdf3, 0xcc2ae8d0, 0x2a8dd978, 0x0632ca6e},
    {0x2bb3a16d, 0x035cf04e, 0xcbe1e10d, 0x8f6df330},
    {0x0e0f7382, 0xfbc2d8d1, 0x674f07e9, 0x23e548cb},
    {0xe76bf644, 0xdb84dc14, 0xa78904e2, 0xc2ecde9f},
    {0x7013c04d, 0x75796aea, 0x113cefae, 0x92efa67b},
    {0xb5bf1e6d, 0x484cdda0, 0x6848c483, 0x6c1e33cb},
    {0x58f7b366, 0xa8e7cf58, 0x6591341f, 0x0fb58253},
    {0xfe8f57de, 0xce0a5d7f, 0x08fe6bef, 0x9472bbe6},
    {0x814d178c, 0x64254207, 0x972c9f26, 0xaf80e771},
    {0xa0b42df1, 0xc03bf0f9, 0x039e8b1c, 0xbdce47ac},
    {0xb7c51396, 0x8701f783, 0xef7d70c5, 0xf267b132},
    {0x89476880, 0x3df6dcd4, 0x45e07ea0, 0xb56e9ba9},
    {0x349af951, 0x7429f68a, 0x3ec54ac2, 0x7d6d9a9a},
    {0x7384a0a1, 0xb9e651f8, 0x53d7954e, 0x50f24e6e},
    {0xdf939dfd, 0x3f13e183, 0xb3dad68c, 0x6ff5b42d},
    {0x1e7dd73b, 0x7cd89663, 0xeb86aa3f, 0xdb9507d6},
    {0x4482ca08, 0xa1604d30, 0x9367bc27, 0x5e87889b},
    {0x1a7d3e75, 0xca024084, 0xe5b727a8, 0xb8862621},
    {0x62c96fd1, 0x8450c0ee, 0x48c7a6fe, 0xc39d1012},
    {0x162d223b, 0x2e8c4451, 0xf327915a, 0xf00cb109},
    {0x85e0633b, 0xbb7f148c, 0x3365edf2, 0x942c547d},
    {0x7e959ee3, 0x87a762ab, 0xda1811be, 0x7114c1a8},
    {0x7d37bc45, 0x7f689b5b, 0x51fdba31, 0xa5ce6fe9},
    {0x0cd3e723, 0x5c0e10f4, 0x4a5a8ea1, 0xecf41d5a},
    {0xc33caa00, 0x5ae0fea2, 0xe498e60a, 0xc2a184dc},
    {0x7f6e0d08, 0xf5baaa85, 0x3ceae925, 0x4e4aa636},
    {0x366e32b9, 0x25aab81b, 0xcddad089, 0x05819895},
    {0xe0a2e2dd, 0x9f9d3325, 0x1b9d1f5b, 0x9d909901},
    {0xe4630fbb, 0xef026b17, 0xa13724f8, 0x14903db9},
    {0xd952cd2e, 0xba912355, 0xd35f2b7b, 0x60087f5d},
    {0x704f7b69, 0xa2e94a11, 0xa43005e6, 0xf9a099d6},
    {0x8ba1b73e, 0x1e3d0a65, 0x71987247, 0xc85e0687},
    {0x9040b73b, 0x5ab8513a, 0xc4230d90, 0x3c8371a6},
    {0xeeeac8d4, 0x05b4bba7, 0x7aecda87, 0x54d9d4e7},
    {0x899c799c, 0xa086232c, 0xddf31f79, 0xee3fe697},
    {0xf39421d3, 0xe8173adb, 0x3d684216, 0x0c81e81a},
    {0x54a45272, 0x1d9ca5d1, 0x389b84f7, 0xe1ab84a2},
    {0xe58bc25d, 0x43a3afff, 0x3435ca17, 0xef449b6e},
    {0xe169f79d, 0x42a0e22e, 0xc3883258, 0x74cbbdc6},
    {0xbe3425f3, 0x75f803d8, 0x06e87f70, 0x3d08dd26},
    {0x792d2cf1, 0xd3ea3b41, 0x4de8e1e6, 0xf9a7131e},
    {0xbc02b6f9, 0xcac9a91c, 0xa08018f6, 0xdb100d5e},
    {0xb3f59c86, 0x8243c422, 0xe4ca147b, 0xa7a23b50},
    {0xf701804e, 0x0c35434f, 0x5b1a7668, 0xbe47cad7},
    {0x989bda84, 0xfbcc6c6b, 0x9086833b, 0x265d4d12},
    {0x4c448da6, 0x35577efe, 0xedb1e8a2, 0x2e1fc095},
    {0x6b038c01, 0x8b3f1638, 0xff1c0b90, 0x9d03fa23},
    {0xa6153dfb, 0x8b472056, 0x481c1df8, 0x02f2dfed},
    {0x3ef8bf2b, 0x30f3df16, 0xcf76447b, 0x5395a395},
    {0x916d3081, 0x0685a67d, 0x130d3177, 0x4818b213},
    {0x4534c028, 0xd6975657, 0xd97797a1, 0xa4379da3},
    {0x30c77829, 0x2d9475b3, 0x5e52b46f, 0xeaccab44},
    {0xded96ef1, 0x2541b42d, 0xf511942c, 0x296fdf80},
    {0xa32ba897, 0xff49c3f5, 0x386a47fd, 0x7c8604dd},
    {0x9eb0411c, 0x0cb1e495, 0x86a208cf, 0x81bb98c9},
    {0xfdf3605e, 0x1183246b, 0x1c01613d, 0x5729c0df},
    {0x7eb4f38c, 0x2286dbab, 0x675fb77b, 0xa0dc11dc},
    {0x2103d982, 0xd9451a76, 0x46d777e9, 0xcf6a16d7},
    {0xd19804a8, 0x5b1c725c, 0x0aa7f7e3, 0x0f27b0e1},
    {0xeec1572f, 0x1855da01, 0x386beb30, 0xdf07d3ad},
    {0x2f9e90ac, 0xfdaca8c7, 0x2f7893bf, 0x88a5c750},
    {0x643caaa3, 0xca37b989, 0x6d37fae3, 0xdcad7865},
    {0xec366149, 0x28f306ca, 0xc266c85b, 0x313b47e8},
    {0x7bfb832b, 0x67825eb5, 0xb4026e45, 0x3b40364c},
    {0xfc5b5833, 0x3e6d9a86, 0x3dbde73e, 0xdd93e163},
    {0x8bfc8cf7, 0xaa294043, 0xc2d07b80, 0x77c324c6},
    {0xb956acfd, 0xf644658d, 0xcf6e23ca, 0x8e706e19},
    {0x6f8cea86, 0xb7b9c753, 0xc4f46118, 0x8cf13af6},
    {0x3b2338ab, 0xf2bc2a6d, 0x7283fe6c, 0x8386af8c},
    {0x94ba3079, 0x7341b2fd, 0x7bade8f8, 0x7d0b9c26},
    {0x279927d6, 0x14f1b312, 0x5cf73a80, 0x6a74e878},
    {0x5c8e5e5d, 0xfef61b46, 0x96c0f80e, 0x9cb2371c},
    {0x295edebf, 0xaf0ad66d, 0xfd8d3537, 0x8e7c2971},
    {0xf10cf041, 0x8bd11193, 0xd99e48e5, 0xf2a0f800},
    {0x07430906, 0xeb2b018a, 0x4153a5d2, 0x7805a3f4},
    {0x1becdf4d, 0x0e7d5d38, 0x713f235c, 0x2f20e489},
    {0x02487fae, 0xf413b933, 0x9beb1923, 0x986946cc},
    {0x77328463, 0x36785ed6, 0xc072aa04, 0x9af342c8},
    {0x48ab0d3c, 0xbb163cca, 0xe96ea9b0, 0x08301fd8},
    {0xc9af4b1e, 0x1f91350d, 0xe21606fd, 0x0a7d755a},
    {0xeccc8b91, 0xeaf2ceb8, 0x5799d787, 0xc619ab7b},
    {0x849cb77b, 0xbe5b6e30, 0x20110303, 0xddd675cf},
    {0x9012ff5c, 0x5fade2ea, 0x90035154, 0x345d328f},
    {0xfea197c2, 0xbfb80a45, 0x5dcc014d, 0x2a6ac042},
    {0x71c4fcb6, 0x1356ad68, 0x24055cb5, 0x21441c24},
    {0xc96fc9c6, 0xb7c31e3a, 0x945b0f14, 0x99c80e2f},
    {0xd1f6c4f4, 0x40f76b44, 0x7b8395a0, 0x723c05fe},
    {0xe73bda17, 0xaad68dd4, 0xf2ff77c1, 0xcd6aac35},
    {0xbf477b1f, 0x20cd6ee1, 0x3aa3ca23, 0x4576fbe5},
    {0xbeba39f8, 0x5a82ec2c, 0x56596aff, 0xf94005ef},
    {0x7efe086d, 0xaf72879a, 0xb8a10113, 0x8fe63890},
    {0x807be863, 0xc492a7c9, 0x3aaed5df, 0x13b03149},
    {0x2bdb7816, 0x4c7b1821, 0x47916333, 0x8b26e905},
    {0xd4d1c971, 0x3dc7f3aa, 0x81aa924f, 0x7e9df19e},
    {0x8570b46a, 0xaa4feeb7, 0x5a8e1252, 0x761b86f5},
    {0x984c5691, 0x766b4a8f, 0xd96ac0b0, 0xb754f548},
    {0x43972c6b, 0xe3c567cc, 0xc80002eb, 0x8be8090d},
    {0x16d6ebbe, 0x425d265f, 0x90ca338a, 0x257be324},
    {0x0eb86300, 0x7f26419c, 0xdc5ad2d4, 0x6d438d11},
    {0x0c487f5c, 0x55453791, 0x7977abc1, 0x8d0b8e3b},
    {0xc96a5593, 0x1d518732, 0x3f024a39, 0x4ab23773},
    {0x19244159, 0x553612b0, 0x3a4400f0, 0xe78d178d},
    {0xaa20b4e3, 0x5b829952, 0x2d526416, 0x98a02621},
    {0x08424d03, 0xf537d320, 0x7f56711e, 0xc6711e1b},
    {0x0eebae49, 0x8306cb4a, 0xa82956a5, 0xef69831a},
    {0xb1080a34, 0xfe91270d, 0x6e91b4c9, 0xa5eac4a9},
    {0x4c3e3ac7, 0x169b88c2, 0xa493de6c, 0xa4297bab},
    {0xaee10956, 0x848214ea, 0xf3f692fc, 0x2eefb52d},
    {0xfe8627f0, 0xe862b0b5, 0x0b1b8f0c, 0xf9025ebb},
    {0xfdda0106, 0xb4f347eb, 0x21c97f22, 0xcafbee74},
    {0x071cf3c6, 0xb8548dcd, 0xd93a749a, 0x920a8544},
    {0x25cfd6cf, 0xe041385c, 0x56eb2cce, 0xabf73296},
    {0xf81e9815, 0xc1368895, 0x8ff5d724, 0x608d8bdc},
    {0x3b764fc5, 0xd09f09bc, 0xac68dd54, 0x85b92ea2},
    {0x4ea04501, 0xc08a8b15, 0xae3b6c7a, 0x08c37242},
    {0xc559c53a, 0xb9218e03, 0xce2d3159, 0x6fe32a1c},
    {0x20a5b1b4, 0x8ff2230b, 0xabaf6521, 0x401504bc},
    {0x22f48cb5, 0xc4aeea0c, 0x67df740c, 0xee06eb0c},
    {0xc6215742, 0x681e2de9, 0x0bb00ce6, 0x613e6024},
    {0x474e152b, 0xe04de453, 0x9a667149, 0xdbd2a4ee},
    {0xcaa734e9, 0xe9a6db24, 0x044ede4f, 0x64e6ce42},
    {0xe3f3f560, 0x020ddc24, 0x44b59c0c, 0x6886dc67},
    {0xcc7818bc, 0x0ac94bf4, 0x00d8789e, 0x0ffa451a},
    {0xa266f35c, 0xb18137bf, 0xaa7b3b5f, 0x1d631037},
    {0x7d707f48, 0x809c14e8, 0x7408bc1a, 0x37b7a955},
    {0xce890297, 0xdf377e2e, 0xd69e5520, 0x1f19f01f},
    {0xf4460d76, 0xe6cc08ef, 0x63407082, 0x8311c8b8},
    {0xd843653e, 0xe3eea66b, 0x5b2b93ff, 0xd46dc32f},
    {0x62765b2a, 0xa770e959, 0xa427e1f7, 0x76b95e5f},
    {0x75411576, 0xf52d6d25, 0x2503c9c4, 0xd3d4e903},
    {0x5dab8de4, 0xcedab405, 0xeff61d46, 0x63a4c20a},
    {0x07b010b3, 0x4ccc375f, 0x6444086c, 0xf407e656},
    {0xb9584da8, 0x9aa60582, 0x9866fa87, 0x4773253e},
    {0xde6c184f, 0xd1dc7e37, 0x7518ff51, 0xe3b16a7b},
    {0xb8b44281, 0x5becd9d2, 0xc8ecab89, 0x64981bc0},
    {0xe1ff174d, 0x26162d75, 0x76e03a18, 0xea58524e},
    {0x9b67b2cb, 0x8d3eba22, 0xf799dbbe, 0xf728dc44},
    {0xeb23ab7d, 0x5c47a0d5, 0x33d962a4, 0x1a6a9311},
    {0x92804e0c, 0x543f1f05, 0xabc27fec, 0x2cb444d9},
    {0x1b9736e8, 0xac674c73, 0xef12928e, 0x1c1b76fb},
    {0x9f62a57d, 0x90491b45, 0xc4c6c73b, 0xfa4f0b15},
    {0x763d1272, 0x3752f6d1, 0xeba5aef2, 0x82a54d1d},
    {0xebc34a88, 0xcfd4a6b4, 0xb65ad986, 0xc46261f3},
    {0xb484aee2, 0x28c8d568, 0xb364b5b3, 0x267018bc},
    {0x38810464, 0x5fb29055, 0x74e83075, 0x5b04e7f5},
    {0xeb35fa9a, 0xbd757a28, 0xaf5d24fa, 0x95fed8b4},
    {0x3829bdd6, 0xfdbfe97c, 0x0103867b, 0x27bfd672},
    {0x5bcc148a, 0x445b4b7f, 0x191dda13, 0x32524b8c},
    {0xf006ee37, 0x62ff1be7, 0x5cc9e4f0, 0x53fef4e1},
    {0x1abcce24, 0x1c4cf002, 0x85c22d74, 0xc16c0471},
    {0x1e5c6a78, 0xc94d668c, 0xa03797ba, 0x04f90481},
    {0x1ef6e095, 0x2c1f967d, 0x077ea555, 0x54c9bcfb},
    {0x171f7056, 0xfa19e4e8, 0x345dffd1, 0x1104a675},
    {0x72980184, 0x5c3ff37f, 0x9dae9d7e, 0xd8f1e120},
    {0x62e960c0, 0x7d62a175, 0xfa6790a6, 0x4d5ff749},
    {0x0468d88e, 0xc6bbc917, 0xb1f16130, 0xb0c53da6},
    {0x6647c043, 0x47f0c566, 0x875d5085, 0xace55687},
    {0x40108eba, 0x74ed43c7, 0xd359bfb9, 0x33493bc7},
    {0x15350bc8, 0x06fd56ca, 0xc51db837, 0x5ab8f4dd},
    {0xd0772a64, 0x7b90e7a5, 0x9c338d26, 0xd8bf89e4},
    {0x64f8a1df, 0xcbb75f13, 0x7e8e870e, 0xc3ffb6fa},
    {0x2dca40ab, 0x74e97d18, 0xc0444e3f, 0x11b8e0e2},
    {0xecc82498, 0x5bd86d20, 0x66b7fc45, 0xebaece5a},
    {0x4c2041ee, 0xe19109c4, 0x4184c16f, 0xb7c1502b},
    {0x23fda6cf, 0xa1180a0a, 0x207925a9, 0x508d6fe3},
    {0x22683d8f, 0x5f8161bf, 0xddda96e0, 0x065e7bca},
    {0x083f3014, 0x00dff472, 0x6215e485, 0x6788531a},
    {0xcfb60485, 0xa3ed61d6, 0xc06d6303, 0x2d9af1eb},
    {0xcc077005, 0x2ee817ef, 0x6a9058c5, 0xa189def8},
    {0x69dfedf3, 0x1bcef9ca, 0x8e6f58bb, 0xbc959152},
    {0x1ad21eef, 0xd87ef4e3, 0x4b9d8bb8, 0x833f7c6e},
    {0xe17f7903, 0xa1554780, 0x69ac44c0, 0x286faa25},
    {0x458ab6bb, 0xfa0ca8cc, 0x23d8a1bc, 0x55975d10},
    {0xfb895359, 0x1457bfbd, 0x84f50e09, 0xc3fe5ee9},
    {0x3df28395, 0x96c24d13, 0x5a476f9f, 0xf40733f9},
    {0x8cdbf1c9, 0x6e16297a, 0xcfc80229, 0x3ad3553e},
    {0xe7f399ce, 0x47e0c5b7, 0x45ceac7f, 0x0044abe9},
    {0x268afb97, 0x738315fd, 0xc3f455d5, 0x40a752c2},
    {0x9f8c028c, 0xf8d32325, 0xa9fe06cd, 0x180f192b},
    {0xffdf86b6, 0xe23e1504, 0xd07aee75, 0xf242c971},
    {0x6f2e0724, 0xb5ca9dd5, 0x35956ad8, 0xf3362cd9},
    {0x7789ff9e, 0x0b3caa20, 0xf3310921, 0x41455162},
    {0x501dcd80, 0x4b84aaae, 0xad42f693, 0x21227c54},
    {0x5321561a, 0x115dc80e, 0xa9eeb0ff, 0xcecc6473},
    {0x90b1bae9, 0x3962da2d, 0x3cd08f6e, 0x477821a9},
    {0x545ce3a9, 0x2ded3132, 0xf3de86d6, 0xa76b1c18},
    {0xd11a8648, 0xdec3f44a, 0xbc6979f7, 0xaed4cfa7},
    {0xea8b5c1b, 0xabe26fca, 0x15a52263, 0x52e1c610},
    {0x3202f1aa, 0x1b30911a, 0xf896b251, 0x9e0333fe},
    {0xcbe917a7, 0xb0a950b4, 0x6cd84894, 0x049b3c35},
    {0x44f71b5c, 0xbb2c6111, 0x86bd7b2a, 0x320ad97e},
    {0xc2c48363, 0x33b3d49a, 0x96bf4444, 0xf4396eb6},
    {0x0c00663c, 0x5fc9cb43, 0x069ac856, 0x7abb8c1a},
    {0x1e7eeef3, 0x626f819b, 0x5b04d1c5, 0xf967efb1},
    {0xb44c3b78, 0x022c2e1d, 0x23a16a0d, 0xa5d8770e},
    {0xf1f17ba8, 0x12476a7f, 0x9974391f, 0x1bdbed95},
    {0xdd4771ee, 0x0c7ee649, 0x0eb054d1, 0xd5af299a},
    {0x9345c6ae, 0x2b8223d6, 0x45e8aa4e, 0x64593807},
    {0xf52da86c, 0x458bd637, 0x7e2eb7aa, 0x9bcbe9d4},
    {0x41d5439a, 0x3af77cf6, 0x238f1d4e, 0x8819168f},
    {0xa3b2f766, 0x592750eb, 0xb29dd8a3, 0x981694ae},
    {0x32e3a9da, 0x512bc671, 0x08e0b7f8, 0xae4e04e1},
    {0x4bf41597, 0x38c3d47f, 0x4e5911d7, 0xf36ee62f},
    {0xf4756cf0, 0x0831afab, 0xf076bfc9, 0xf125f00b},
    {0x50749576, 0xe2d29ac2, 0x9b884f1f, 0x99b80f6d},
    {0xd1e6e57c, 0xbbb9c3a8, 0xa1b16c0c, 0x91cdf4a7},
    {0x13b4ac9b, 0x5608bbb1, 0x341cc970, 0x3360c2d8},
    {0x9c86cae1, 0xd1199deb, 0x9c115f86, 0x822472c2},
    {0xfd63cec0, 0x1330f0f9, 0x949381b9, 0x5a98de8d},
    {0xc6815fc3, 0x54afbef1, 0x97f720f0, 0xb1e5886f},
};

